$\forall$$A$, $B$:Type, $L$:($A$ List), $f$:(\{$a$:$A$$\mid$ ($a$ $\in$ $L$)\} $\rightarrow$$B$). mapl($f$;$L$) $\in$ ($B$ List)